Neste texto, pretende-se investigar a apropriação das idéias de Foucault em textos de Jorge Larrosa, na medida em que essa apropriação contribui para a discussão da formação. Através da análise dos modos como a pedagogia é produtora de subjetividades, Larrosa pretende construir as bases de um método que permita avaliar exemplos pedagógicos concretos.

Several countries maintain universal health coverage, which implies responsibility to organize delivery formats of healthcare services and products for citizens. In Brazil, the health system has a principle of universal access for more than 30 years, but many deficiencies remain and the country observes a day practice for those seeking judicial decisions to determine provision of healthcare.

The main aim of this paper is to introduce the logics of evidence and truth $$LET_{K}^+$$ and $$LET_{F}^+$$ together with sound, complete, and decidable six-valued deterministic semantics for them. These logics extend the logics $$LET_{K}$$ and $$LET_{F}^-$$ with rules of propagation of classicality, which are inferences that express how the classicality operator $${\circ }$$ is transmitted from less complex to more complex sentences, and vice-versa. The six-valued semantics here proposed extends the 4 values of Belnap-Dunn logic with 2 more values (...) that intend to represent (positive and negative) reliable information. A six-valued non-deterministic semantics for $$LET_{K}$$ is obtained by means of Nmatrices based on swap structures, and the six-valued semantics for $$LET_{K}^+$$ is then obtained by imposing restrictions on the semantics of $$LET_{K}$$. These restrictions correspond exactly to the rules of propagation of classicality that extend $$LET_{K}$$. The logic $$LET_{F}^+$$ is obtained as the implication-free fragment of $$LET_{K}^+$$. We also show that the 6 values of $$LET_{K}^+$$ and $$LET_{F}^+$$ define a lattice structure that extends the lattice L4 defined by the Belnap-Dunn four-valued logic with the 2 additional values mentioned above, intuitively interpreted as positive and negative reliable information. Finally, we also show that $$LET_{K}^+$$ is Blok-Pigozzi algebraizable and that its implication-free fragment $$LET_{F}^+$$ coincides with the degree-preserving logic of the involutive Stone algebras. (shrink)

We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with Since and Until) in a special way. We refer to this method as adding a temporal dimension to L or just temporalising L. We show that the logic system T(L) preserves several properties of the original temporal logic (...) like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time. (shrink)

Presents spiritual reflections, thoughts, stories, and ideas intended to inspire readers to realize the immeasurable value of every moment of life, and to encourage them to conduct their lives accordingly.

Returning to the famous prologue to the book Difference and Repetition, in which Gilles Deleuze points out that the time is approaching when it would not be possible to write a philosophy book as before, we will try to think about the deleuzian evocation of the need to adopt a new tone and new rules for the exercise philosophical. We believe that resuming this philosopher's appeal would launch us into the heart of deleuzian and deleuze-guattarian conception of philosophy as experimentation. (...) The author suggesting that a philosophical treatise should sound as much like a kind of detective novel as it does like science fiction. This excursion, we argue, would not only help us in the deleuzian and deleuzo-guattarian understanding of philosophy as experimentation, but would also make it possible to outline some clues about the role of the history of philosophy at the heart of this conception. (shrink)

Na digressão da Carta Sétima (341c-d – 344d-e) Platão faz uma descrição do caminho filosófico e do limite dos discursos, sejam escritos ou falados, para se alcançar e comunicar o conhecimento dos seres e da virtude. A digressão critica a produção, por parte de Dionísio, jovem tirano de Siracusa, de um tratado sobre a filosofia platônica, visando suas ‘doutrinas’, como se já soubesse tudo sobre os princípios supremos da realidade. Nesse artigo pretendo ler a digressão acerca do conhecimento filosófico e (...) sua transmissão, não como um desvio do curso da Carta, mas como parte central para entender sua mensagem a filosofia platônica em geral– evidenciando através do texto suas múltiplas e importantes ligações com os diálogos. Palavras-chave: Escrita; Metafísica; Platão; Carta Sétima; Digressão. The digression on knowledge in the platonic Seventh Letter Abstract: In the digression of the Seventh Letter (341c-d–344d-e) Plato describes the philosophical path and the limits of discourses, whether written or spoken, to reach and communicate the knowledge of beings and virtue. The digression criticizes the production, by Dionysius, a young tyrant of Syracuse, of a treatise on Platonic philosophy, aiming at its 'doctrines', as if he already knew everything about the supreme principles of reality. In this article I intend to read the digression about philosophical knowledge and its transmission, not as a deviation from the course of the letter, but as a central part to understand the message of the letter and of Platonic philosophy in general – evidencing through the text its multiple and important connections with the dialogues. Keywords: Writing, Metaphysics, Plato, Seventh Letter, digression. La digression sobre el saber en la Séptima Carta platonica. Resumen: En la digresión de la Carta Séptima (341c-d – 344d-e) Platón describe el camino filosófico y los límites de los discursos, sean escritos o hablados, para alcanzar y comunicar el conocimiento de los seres y de la virtud. La digresión critica la producción, por parte de Dionisio, un joven tirano de Siracusa, de un tratado sobre la filosofía platónica, apuntando a sus 'doctrinas', como si ya supiera todo acerca de los principios supremos de la realidad. En este artículo pretendo leer la digresión sobre el conocimiento filosófico y su transmisión, no como una desviación del curso de la Carta, sino como parte central para comprender el mensaje de la carta y de la filosofía platónica en general – evidenciando a través del texto sus múltiples e importantes conexiones con los diálogos. (shrink)

Despite the widely known Latin proverb, according to which about tastes it should not be discussed, concerning judgments of taste, we do dispute. However, based on what? If someone disagrees with our judgment, judging differently than us, we seek arguments to try to convince them otherwise. But by which arguments? The paper dwells on the issues about what underlies the arguments we use to justify our judgments of taste and how reliable these arguments are. From eighteenth-century philosophy to contemporary philosophy (...) of consciousness and mind, the aim here is to show that judgments of taste involve self-knowledge and that the question “how does it feel?”, at first glance simple, does not seem to be so easy to answer. (shrink)

No cinema brasileiro recente, o diálogo entre o documentário e a ficção tem merecido destaque, com produções de baixo orçamento e ideias originais. É o caso de Santiago (João Moreira Salles, 2007) e Viajo Porque Preciso, Volto Porque Te Amo (Marcelo Gomes, Karim Aïnouz, 2009), filmes que trabalham esse diálogo de forma sutil e diegética, ressignificando imagens de um arquivo próprio, pessoal.

Resumo : O presente artigo objetiva investigar o tema cultura da paz no contexto das novas tecnologias. Não obstante os meios de comunicação exponham as diversas faces da violência, o fato é que se está vivendo, em todos os cantos do mundo, um período de muito interesse, criatividade e empenho na luta pela paz. Para explicitar isso, o texto buscará articular quatro pontos: 1) estabelecer a questão fundamental da educação e da cultura da paz , discernindo seu objetivo e escopo (...) fundamental; 2) delinear a habilidade fundamental a ser desenvolvida no processo de educação para a paz, a formação da competência comunicativa; 3) descrever as características fundamentais da metodologia da educação para a paz: a formação de comunidade, o espaço do debate e a ação para a paz; 4) relacionar, finalmente, esses aspectos da educação para a paz com as novas tecnologias. Palavras-chave : Educação. Paz. Tecnologias. Justiça. Direitos humanos.: The present paper aims to research into the theme of the culture of peace in the context of the new technologies. Although the means of communication expose the several faces of violence, the fact is that we are living everywhere in the world a period of great interest, creativity and commitment to the struggle for peace. In order to demonstrate this the text will try to articulate four points: 1) to establish the fundamental question of education and the culture of peace distinguishing its objective and fundamental scope; 2) to delineate the fundamental ability to be developed in the process of education for peace, the formation of communicative competence; 3) to describe the fundamental charac-teristics of the methodology of education for peace: the formation of community, the place of the debate and the action for peace; 4) finally, to link these aspects of education for peace to the new technologies. Keywords : Education. Peace. Technologies. Justice. Human rights. (shrink)

We provide a model in which students must choose whether or not to cheat on a course exam. By assuming that the moral cost of acting dishonestly decreases as the number of other people who behave in the same way increases, our model explains one important channel by which unethical behavior of other individuals can influence observers’ behavior. Through the use of the Global Games approach of equilibrium selection, we build a framework that provides the micro-foundations of peer effects on (...) academic dishonesty and shows how better student technology of cheating and higher disutility of effort make the cheating equilibrium more likely to be selected. By extending the model, we find that the peer effect strength is not affected by the level of homogeneity of the cohort, but decreases in the size of the class. Our approach may be seen as an important step towards reduced-form models of peer effects on dishonest behavior. (shrink)

But never let it be doubted that depression, in its extreme form, is madness. (Styron, 1990, p. 62)There is nothing wrong with our biology or our intelligence; sometimes we are just stuck. (Cvetkov...

We propose a liminality-based analysis of the process of ethical leadership/followership in organizations. A liminal view presents ethical leadership as a process taking place in organizational contexts that are often characterized by high levels of ambiguity, which render the usual rules and preferences dubious or inadequate. In these relational spaces, involving leaders, followers, and their context, old frames may be questioned and new ones introduced in an emergent way, through subtle processes whose evolution and implications may not be easy to (...) grasp even by those participating in them. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

From the early to mid-1970s, Michel Foucault posited that power consists of a relation rather than a substance and that this relation is comprised of unequal forces engaged in a warlike struggle against each other, resulting invariably in the domination of some forces over others. This understanding of power, which he retrospectively dubbed `Nietzsche's hypothesis' and `the model of war', underpinned his well-known analyses of disciplinary power. Yet, Foucault in his Collège de France course from the academic year 1975-6, `Society (...) Must Be Defended', suddenly began to call into question this understanding and his doubts about it did not abate well into the late 1970s. In this article, we suggest that his militant politics in the early 1970s sustained his adherence to the war model and that his more cautious political attitude later in the decade underpinned his suspicions about this model. Key Words: biopolitics • Henri de Boulainvilliers • Michel Foucault • Thomas Hobbes • militancy • F. W. Nietzsche • politics • power • race • war. (shrink)

GESTÃO DE RESÍDUOS SÓLIDOS EM MEGAVENTOS: ASPECTOS CONCEITUAIS.

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...) non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present article, the notion of predicates as triples is recursively extended, in a natural way, to (...) any complex formula of the first-order object language. From this, a new definition of quasi-truth is obtained. The proof-theoretic counterpart of the new semantics is a first-order paraconsistent logic whose propositional base is a 3-valued logic belonging to hierarchy of paraconsistent logics known as Logics of Formal Inconsistency, which was proposed by Carnielli and Marcos in 2002. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

A ideia de uma crise do rádio consolidou-se no imaginário coletivo nas últimas décadas, a despeito de não haver ancoragem na realidade. Se muitas rádios tradicionais AM e FM saem do ar, vendidas a igrejas eletrônicas ou novos grupos empresariais, multiplica-se a oferta de conteúdos no contexto de um rádio expandido, que transborda para novas plataformas e é consumido nos mais diversos dispositivos. O rádio vai bem, obrigado, embora algumas emissoras de rádio em ondas hertzianas estejam mal das pernas, lamentando-se (...) da concorrência com serviços on-line e da erosão dos habituais índices de audiência, antes medidos em centenas de milhares de ouvintes por minuto. (shrink)

Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between mbCcl and Cila. In order to overcome this limitation, we propose here restricted non-deterministic matrices (in short, RNmatrices), which are non-deterministic algebras together with a subset of the set of valuations. This allows us to characterize not only mbCcl and Cila (which is equivalent, up to language, to da Costa's logic C_1) but the whole hierarchy of da Costa's calculi (...) C_n. This produces a novel decision procedure for these logics. Moreover, we show that the RNmatrix semantics proposed here induces naturally a labelled tableau system for each C_n, which constitutes another decision procedure for these logics. This new semantics allows us to conceive da Costa's hierarchy of C-systems as a family of (non deterministically) (n+2)-valued logics, where n is the number of "inconsistently true" truth-values and 2 is the number of "classical" or "consistent" truth-values, for every C_n. (shrink)

Kant, los sábados por la tarde -- ¿Andaría en algo Sócrates? -- El álef de "El Aleph" -- La angustia ya no se lleva -- El tango de la muerte -- Los ilotas y la juventud maravillosa -- Los jóvenes en Flores -- El filósofo y la princesa.

Se indagó sobre el desarrollo de la Investigación Acción Participativa en Psicología. Se observó que en América y Europa, esta metodología se utiliza en una variedad de áreas disciplinares, principalmente en la Psicología Comunitaria. Aborda fundamentalmente problemáticas sociales, comunitarias y ps..

Os anos que passamos na graduação geralmente costumam ser marcante em nossas vidas, afinal de contas, esses momentos formativos que compartilhamos com os colegas de curso e com os professores/as, ao longo de quatro anos, são fundamentais para nos tornarmos os profissionais que somos hoje. A leitura dos textos, as discussões em sala, as relações de afeto que construímos nesse período, o papo com os professores, a preparação e apresentação dos seminários, as madrugadas em claro fazendo os trabalhos das disciplinas, (...) as reflexões que guardamos na consciência após uma reunião dos grupos de estudo, as confraternizações que costumamos realizar no termino das disciplinas, isto é, todos essas vivências que um estudante universitário costuma ter marca de maneira definitiva a nossa história. E arrisco a dizer, sem receio de ser injusto, que essas experiências passam a ter um significado ainda maior quando nos tornamos efetivamente professores/as. (shrink)

São poucos os professores/as que podemos dizer que a sua história de vida se confunde literalmente com a história de um determinado curso. Que sabe contar com riqueza de detalhes as mudanças arquitetônicas que o prédio sofreu, como se deu o início do curso, quem eram os professores/as, qual era o nome das disciplinas do antigo currículo, bem como das transformações pedagógicas e curriculares realizadas ao longo da história para que ele se tornasse aquilo que ele é hoje. Não é (...) fácil encontrarmos alguém no presente que continua a manter viva a memória cristalina de um passado pouco documentado. Sem nenhuma dúvida, existem poucos professores e professoras na Universidade Federal do Piauí que possuem o privilégio de serem esse “contador de histórias” do curso que trabalham, que possuem uma vivência longa com a instituição. No caso do curso de Filosofia da UFPI, este docente possui nome e sobrenome: Gerson Albuquerque de Araújo Neto. (shrink)

Nós, seres humanos, somos a única espécie viva da face da terra que literalmente somos submetidos a um processo de instrução formal. E dentro desta amplo processo de formação cultural que experienciamos intensamente ao longo da nossa trajetória existencial - desenhada por meio dos traços intersubjetivos que estabelecemos com as instituições educacionais que contribuíram efetivamente para que nos tornássemos aquilo que somos do ponto de vista intelectual, afetivo, moral e profissional - arrisco a dizer que, todos nós, de algum modo, (...) guardamos no reinado da memória a lembrança potente e afetuosa de um educador ou educadora que marcou de maneira significativa a nossa vida. (shrink)

ExcerptAt its core, the concept of biopolitics refers to the constitution of the life of a population as the object and objective of politics. Of course, Michel Foucault pioneered this concept in his analyses from the late 1970s, first in his Collège de France course from the academic year 1975–76, “Society Must Be Defended”, and subsequently in the first volume of The History of Sexuality, published in the fall of 1976.1 Taking as his cue the analysis in the latter publication, (...) Giorgio Agamben, in a few highly schematic but rich and provocative passages from the introduction to his now seminal…. (shrink)

Entrevista com o professor Mauro Rêgo Sá Costa para o dossiê Rádio nas Bordas.

The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution and the (...) Łukasiewicz square operator if and only if the obtained structure has only trivial subalgebras and, equivalently, if and only if the cardinality of the starting chain is of the form n+1 where n belongs to a class of prime numbers that we fully characterize. Secondly, we axiomatize the algebraizable matrix logic whose semantics is given by the variety generated by a finite totally ordered set endowed with an involutive negation and Łukasiewicz square operator. Finally, we propose an alternative way to account for Łukasiewicz square operator on involutive Gödel chains. In this setting, we show that such an operator can be captured by a rather intuitive set of equations. (shrink)

Michel Foucault is one of the most preeminent theorists of power, yet the relationship between his militant activities and his analysis of power remains unclear. The book explores this relationship to explain the development of Foucault's thinking about power. Using newly translated and unpublished materials, it examines what led Foucault to take on the question of power in the early 1970s and subsequently refine his thinking, working through different models (war and government) and modalities (sovereign, disciplinary, biopolitical, pastoral and governmental). (...) Looking at Foucault's political trajectory, from his involvement with the prisoner support movement and Solidarity to his controversial engagement with the Iranian revolution, the book shows the militant underpinning of his interest in the question of power and its various shifts and mutations. This thorough account, which includes the first translation of a report edited by Foucault on prison conditions, will provide students in contemporary political theory with a better understanding of Foucault's thinking about power and of the interplay between political activities and theoretical productions. (shrink)

Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract logics, while his q-logics were generated (...) by "trivalent" matrices. This paper will show that contrary to these intuitions, logical two-valuedness has more to do with the geometrical properties of the deduction relation of a logical structure than with the algebraic properties embedded on it. (shrink)

In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest in (...) exploring the foundations of multialgebras applied to the study of logic systems. It is well known from universal algebra that, for every signature \, there exist algebras over \ which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of \-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms. Equivalently, the forgetful functor, from the category of \-algebras to Set, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor \, from the category of \-multialgebras to Set, does not have a left adjoint. In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a submultialgebra of a multialgebra of terms to another multialgebra, and a collection of choices, there corresponds a unique homomorphism, what resembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that \ does not have a left adjoint. (shrink)